Skip to content

Some useful changes from Contest 2023 that were missed in UnitTestBot main branch#2675

Merged
EgorkaKulikov merged 1 commit intomainfrom
egor/missed_changes_from_contest2023
Nov 7, 2023
Merged

Some useful changes from Contest 2023 that were missed in UnitTestBot main branch#2675
EgorkaKulikov merged 1 commit intomainfrom
egor/missed_changes_from_contest2023

Conversation

@EgorkaKulikov
Copy link
Collaborator

See #1713 for more details

@EgorkaKulikov EgorkaKulikov added ctg-enhancement New feature, improvement or change request comp-contest-estimator Issue is related to contest estimator labels Nov 7, 2023
@EgorkaKulikov EgorkaKulikov enabled auto-merge (squash) November 7, 2023 10:15
@EgorkaKulikov EgorkaKulikov merged commit 921b69a into main Nov 7, 2023
@EgorkaKulikov EgorkaKulikov deleted the egor/missed_changes_from_contest2023 branch November 7, 2023 10:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

comp-contest-estimator Issue is related to contest estimator ctg-enhancement New feature, improvement or change request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants